Typed lambda calculi and applications
- Författare
- James Roger Hindley Philippe de Groote International Conference on Typed Lambda Calculi and Applications 1997 : Nancy)
- (Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings Philippe de Groote, J. Roger Hindley (eds.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1997 | Tyskland, Berlin | 404 sidor. tab. |